Progressive program reasoning

Ph.DDOCTOR OF PHILOSOPH

SYSTEM FOR FACILITATE FISH MIGRATION UPSTREAM/DOWNSTREAM OF THE BULZ DAM

The study area is part of the Iad River basin, one of the largest basins, a right tributary of the Crisul Repede River. The Iad River, a tributary of the Crisul Repede River is located in the north-western Romania, and is intensively arranged in the matter of engineering. Throughout its length the Iad River is provided with three dams and reservoirs (Bulz, Munteni and Leşu), which are part of the hydropower developing system on the Crisul Repede River. Bulz Dam (17 m height), which is subject to this paper, is located near the confluence between the Iad River and Crisul Repede River and is part of the grayling fishing area, where there are three species of protected migratory fish: The Danube gudgeon (Gobio uranoscopus), the barbel (Barbus barbus) and the common nase (Chondrostoma nasus). In order to facilitate the possibility of migration of the above mentioned migratory fish species upstream of Bulz dam, we recommend to perform the execution of a canal for migrating fish, which is fastened to the right abutment of the dam. The achievement of such migration system suggested in this paper will help restoration the longitudinal connectivity of the Iad River on a length of about 5 km, creating optimal conditions for the development of aquatic faun

Advanced Biomedical Laboratory (ABL) Synergy with Communication, Robotics, and IoT

This paper proposes a framework for integrating IoT and automation in a biomedical laboratory to improve safety, optimize processes, and enhance students\u27 learning experience. The framework incorporates a centralized control unit and distributed subsystems to control equipment and machinery and includes autonomous robotics and intelligent monitoring systems. The paper presents the results of undergraduate students\u27 work on automating various biomedical processes, including developing an Intelligent Autonomous Monitoring (IAM) device. IAM utilizes machine learning algorithms to identify outliers in processes and safety hazards. Moreover, IAM autonomously detects and localizes biomedical tools and equipment. Results show the feasibility of delivering real-time results for localizing specific tools necessary within a biomedical laboratory. This framework offers a systemic approach toward process automation, aiding researchers in developing new equipment and automating existing processes. Furthermore, it assists students in gaining a fundamental understanding of the theory behind biomedical principles while providing a repeatable experimental environment through more accurate data and event collection

Biomedical Sensing - A Sensor Fusion Approach for Improved Medical Detection and Monitoring

Enhanced technological advancement in computation, communication, and sensing has dramatically changed the dynamics of modern medicine. Advancing preventive medicine is paramount to a sustainable improvement in the quality of life and life expectancy. On-body sensors provide continuous measurements for healthy and ailing individuals leading to faster recovery and more timely detection of illnesses. Novel sensor designs and sensor fusion for preventive monitoring can provide extensible benefits, including a better understanding of ailment progression, treatment optimization, and patient feedback through data analytics and visualization. However, existing research does not thoroughly investigate sensor fusion approaches in biomedical sensing, as well as spot sensing, which can provide better information through more accurate detection of specific tissues instead of secondary measurements. This article presents the development of an ex-vivo sensor fusion system to track a person\u27s muscular condition. The embedded system provides a significant benefit by notifying users of particular muscle events in real-time

SOLUTION TO CREATING A FISH MIGRATION SYSTEM OVER THE BOTTOM/DISCHARGE SILL ON THE SOMESUL MIC RIVER NEAR THE TOWN OF GHERLA

Longitudinal connectivity within a hydrographic network refers to the ways in which organisms move and also to energy and material exchanges located throughout the water. Discontinuation of longitudinal connectivity of watercourses caused by waterworks (sills and dams) has a major impact on sediment transport, hydrological regime, downstream moving and biota migration. Hydromorphological elements (river continuity), as well as chemical, biological, physicochemical elements characterize the ecological status of waters. The proposed engineering solution for fish fauna migration upstream – downstream of the discharge / bottom sill near the town of Gherla supports the need to put into practice such measures planned by the Water Framework Directive

Cooperative Network Architecture For Next Generation Technologies

The internet is evolving, with the number of devices connected rapidly increasing. The 5G/6G wireless implementation promises several Gbps plus massive connectivity with ultra-reliable low latency capabilities. However, 5G and 6G provide solutions by integrating the cellular core. Satellite internet aims to provide deep area coverage through a mesh topology of Low Earth Orbit (LEO) stationary satellites. Due to ephemeral communication links, satellite internet routing and forwarding need to be decentralized, agnostic and offer the lowest latency possible. Like decentralized and centralized synergy, similar necessities arise in differing environments, including Vehicular Ad-Hoc Networks, Internet of Things communication, Infrastructure-less networks, and more. The analogous communication systems denote a need for restructuring the traditional network communication architecture and frameworks. This research helps develop the structure and proof of concept implementation of a horizontal communication architecture, termed Cooperative Networking Architecture (CoopNet). CoopNet introduces a programmable platform for developing innovative mechanisms to improve and provide parallel multipath communication. CoopNet depends on node cooperation allowing end nodes and systems to become part of the network infrastructure and offer networking functions through a Network Function Virtualization (NFV) approach. CoopNet with NFV allows regular nodes to assist in routing, forwarding, security, and other functionality using physical and virtual links. CoopNet proposes to enable advanced network functionality to all nodes, including edge nodes, thereby becoming part of the network development and enrichment. CoopNet allow nodes to craft packets in proprietary formats, such as cellular communication, even without a proprietary Radio Access Technology (RAT) or interface. Hence, hosts can use intermediary nodes as Radio Access Network (RAN) translation points from one radio type to another. RAN translation yields a new infrastructure as a service platform.Ph.D

SOLUTION FOR ICHTHYOFAUNA MIGRATION UPSTREAM- DOWNSTREAM OF THE TWO SPILLWAYS LOCATED NEAR MANASTUR DAM ON THE SOMESUL MIC RIVER IN THE CLUJ NAPOCA CITY (ROMÂNIA)

Longitudinal connectivity represent the way in which organisms move the energy and material exchanges located throughout the water. Fragmentation the longitudinal connectivity of watercourses caused by dams or other hydrotechnical constructions represent a major impact on sediment transport, hydrological regime, downstream moving and biota migration. The hydromorphological elements (river continuity), as well as chemical, biological, physicochemical elements characterize the ecological status of rivers.Migratory fish species: nase (Chondrostoma nasus - protected by Bern Convention - Appendix III) and barbel (Barbus barbus - rare species, protected Habitats Directive (Annex V), annex 4A of Low nr.462 and Red List of RBDD) are blocked but the Hydrotechnical constructions (discharge sills, dams etc) located across the watercourse Somes Mic River. One of the important think of this system is the gravitational fall of water. This solution will lead to the restoration of the longitudinal connection of the Someşul Mic River in the Manastur neighborhood. România is part of the European Union and it has the obligation to implement the provisions of the Water Framework Directive 2000/60/EC, transposed into Romanian legislation by the Water Law 107/1996 as supplemented and amended (Act 310/2004). This engineering solution for fish fauna migration upstream – downstream of the spillways supports the Water Framework Directive 2000/60/EC, transposed into Romanian legislation by the Water Law 107/1996 as supplemented and amended (Act 310/2004)

A Framework for Combining Analysis and Verification

interpretation using this domain infers that x0, y0 are even at the end of the loop, although it cannot infer anything about x, y. Combining the results from the Hoare-style reasoner with this abstract interpretation results gives fx + y = x0 + y0 x \Gamma 1 ! y + 1 x y even(x0) even(y0)g, which now does imply x = y. This example illustrates the potential of cooperation between a verification engine and an analysis engine. However, it only shows how running verification and then analysis can give better results than either on its own. In fact the verification and analysis process are not independent -- results from one can be used to improve the results of the other and vice-versa. This interaction suggests a process consisting of a sequence of alternating analysis and verification phases. In this paper, we start with a representation of a program, user assertions, and a given analyzer for the program. The framework we describe induces an algorithm that exploits the assertions ..